|
|
1.
|
Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich.
by Tonella, Paolo | Potrich, Alessandra | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
2.
|
Evolutionary Synthesis of Pattern Recognition Systems [electronic resource] / by Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec.
by Bhanu, Bir | Lin, Yingqiang | Krawiec, Krzysztof | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
3.
|
Super-Recursive Algorithms [electronic resource] / by Mark Burgin.
by Burgin, Mark | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
4.
|
Abstraction, Refinement and Proof for Probabilistic Systems [electronic resource] / by Annabelle McIver, Carroll Morgan.
by McIver, Annabelle | Morgan, Carroll | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
5.
|
Geometric Fundamentals of Robotics [electronic resource] / by J. M. Selig.
by Selig, J. M | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
6.
|
Adapting Proofs-as-Programs [electronic resource] : The Curry-Howard Protocol / by Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley.
by Poernomo, Iman Hafiz | Wirsing, Martin | Crossley, John Newsome | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2005Online access: Click here to access online Availability: No items available
|
|
|
7.
|
Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu.
by Heydon, Allan | Mann, Timothy | Levin, Roy | Yu, Yuan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Boston, MA : Springer US, 2006Online access: Click here to access online Availability: No items available
|
|
|
8.
|
Numerical Geometry of Non-Rigid Shapes [electronic resource] / by Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel.
by Bronstein, Alexander M | Bronstein, Michael M | Kimmel, Ron | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York, 2009Online access: Click here to access online Availability: No items available
|
